(lib-src): Don't depend on src/paths.h.

diff --git a/Makefile.in b/Makefile.in
index 41b323b73bbc482c2ce9038cecc8b35064abc041..969fcb8a962f19552b5d844bd52cf70ff95978d2 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -221,7 +221,11 @@ src/paths.h: Makefile ${srcdir}/src/paths.h.in FRC.src.paths.h
 
 src:   lib-src FRC.src
 
-lib-src: FRC.lib-src src/paths.h
+# This ought to depend on src/paths.h, so that in parallel make
+# src/paths.h will be available for the compilations in lib-src.
+# But that causes trouble in `make install' if a different prefix
+# is specified at that time.
+lib-src: FRC.lib-src
 
 .RECURSIVE: ${SUBDIR}